Exercise logic.propositional.dnf
Description
Proposition to DNF
| Code | logic.propositional.dnf |
| Status | Stable |
| Strategy | dnf |
| Rules | 44 |
| Buggy rules | 39 |
| OpenMath support | yes |
| Restartable strategy | yes |
| Exercise generator | yes |
| Examples | 5 |
Example exercises
generate exercise: very_easy, easy, medium, difficult, very_difficult